Well-formed formula

Full definition of well-formed formula

Noun

well-formed formula

(plural well-formed formulas or well-formed formulae)

(logic) A statement that is expressed in a valid, syntactically correct, manner.This program works correctly on all well-formed formulas but it blows up on illegal input.

Abbreviations

wff, WFF

Hyponyms

axiom

Holonyms

formal language

Meronyms

symbols